State Machine Based Simulation Testing

نویسندگان

  • Florian Lier
  • Norman Köster
  • Ingo Lütkebohle
  • Sven Wachsmuth
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Effective Attack-Resilient Kalman Filter-Based Approach for Dynamic State Estimation of Synchronous Machine

Kalman filtering has been widely considered for dynamic state estimation in smart grids. Despite its unique merits, the Kalman Filter (KF)-based dynamic state estimation can be undesirably influenced by cyber adversarial attacks that can potentially be launched against the communication links in the Cyber-Physical System (CPS). To enhance the security of KF-based state estimation, in this paper...

متن کامل

Fault Identification in Networks Using a CFSM Model by Passive Testing

Abstract In this paper, we employ the Communicating finite state machine (CFSM) model for networks to investigate fault identification using passive testing. First, we introduce the concept of passive testing. Then, we introduce the CFSM model and the observer model with necessary assumptions and justification. We introduce the fault model and the fault detection algorithm using passive testing...

متن کامل

Measurement and Modelling of the Rubber Resilience based on Ultrasonic Non-destructive Testing in Tires

In tire industry, it is very crucial to evaluate physical and mechanical properties of the rubber which is used for production of the tire, to ensure the quality of the final product. Resilience is an important property of a rubber, which cannot be evaluated through direct measurement in production cycle in this industry. Therefore, non-destructive ultrasonic testing, which has been used in man...

متن کامل

Fault management using passive testing for mobile IPv6 networks

In this paper, we employ the Communicating finite state machine (CFSM) model for networks to investigate fault management using passive testing. First, we introduce the concept of passive testing. Then, we introduce the CFSM model, the observer model and the fault model with necessary assumptions. We introduce the fault detection algorithm using passive testing. Then, we briefly present our new...

متن کامل

On Fault Management using Passive Testing for Mobile IPv6 Networks

In this paper, we employ the Communicating finite state machine (CFSM) model for networks to investigate fault management using passive testing. First, we introduce the concept of passive testing. Then, we introduce the CFSM model and the observer model with necessary assumptions and justification. We introduce the fault model and the fault detection algorithm using passive testing. We present ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013